perm filename CMMB10.360[360,GF]1 blob sn#803166 filedate 1986-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_L'#⊂_&T  IEαλ⊂F@6_α_`F⊂αX fλβ_↓¬x∧Wa∃p↓ uh↓@ uh↓@u`↓a¬X↓@a¬X↓↓ uP↓↓@uH↓A@uH↓↓`u@↓α↓¬@↓α↓¬8↓α@u0↓α`u0↓α`u(
Uαu ↓β!¬_↓β`u⊂↓∧u⊂↓∧uλ↓∧ u↓∧A∧x↓DA∧Pεα"∀Pεα"∀("⊂DrP⊂H!↓H)π
p0¬Aj`8ε↓j`8εAJ`0π↓J`0π↓jP8π↓jP8π↓JP0πAJP0π↓j@8π↓J@8εAJ@0εAJ@0¬Aj18)Ej00ε↓j00π↓J 8π↓j 8πAJ 0λ↓J 0λ↓j⊂8λ↓j⊂8λ↓J⊂0λ↓j⊂0λ↓j8πAj8πAJ0πAj0π↓ip8ε↓i!h%εHT !IE∩λ⊂Da⊂HV!p0↓∃A@α@E(ββ!¬_β∧e⊂β∧@UλαE Eβ¬ Dxβ¬@4pβ¬`4hβE`4hβε4`βF$XβR`tXβR@tPβR@tPβR@tPβ∩@aH↓∩@aH↓∩@a@↓∩@q8↓∩`a0↓∩`a(↓∪a_↓∪ aλ↓∪@`p↓Sa@α∀"¬(∧Q(D ∃K$∩λ∧εJ!h+Aa08+α↓P8+α↓`0+↓b0+↓b⊂0*Bα⊂0*Bα⊂0*Ab00*Ab00*αα00*αα 8*↓b08*↓b08)Bα08)Bα00)Ab08)Ab08)αα08)αα00)↓b08)↓b00(Bα 8(Bα 0(Ab 0(Ab 0(αα⊂0(αα0(↓ap0(↓a`0'B↓08%π)!P"QλR0∀λ$⊂@∂∀Ce8βCe0∧β@E0∧β`50βD50βD %(∧∧ %(∧∧ %(βB @↓∃ p@↓α% ∧↓`0@↓∃↓8↓∃p8↓Up0α∀b%_	∀`p8↓T`p8↓TA8↓TA8↓∀@p@↓α %⊂βB H↓∀!↓⊂↓T!↓⊂↓∀ q⊂↓T q⊂↓∀↓↓λ↓T↓↓↓Tqα∀pxαSa`βRD∧P∂Q(D0∩Id∩λ∧π*!h+Aa@(+α↓P +α↓`_+↓ap_+↓b⊂*Bα⊂*Bα⊂*Ab⊂⊂*A`p⊂∧J@@βa⊂*α`⊂*↓`p⊂*↓``_)BP )D
1)A``_)α`_)α`⊂)↓`p⊂)↓`p⊂(Bp⊂(B
⊂8(Aj@(α
8(↓ip@%∧i!_"Qλr8∃λ$⊃_∧B@∃Hλ↓@%8∧α0_α∃ `p↓ U_β∧ e⊂β∧`Uλβ¬ Eβ¬@Dxβ¬`4pβε4hβF4hβε 4`βF $XβR`tXβR@tPβR@tPβC"$PβC"$Pβ¬ tPβ¬ tPβ¬↓∧PβD`tPβD`tXβ∧`tXβ∧A∧`β∧!∧hβ∧tpβC!¬βB 0⊂αTB ↓U! HQ(D@_Ld∩λ∧∧@Q⊂)∧@Q⊂+Ab8+α↓p@+α↓p8+↓b8+↓b8*B↓p@*B↓p8*Ab8*Ab8*α↓p@*α↓p8*↓b8*↓b8)Gj1p)Ab8)Ab8)α↓p@)α↓p8)↓b8)↓b8(B↓p@(B↓p8(Ab8(Ab8(α↓p@(α↓p8(↓b8(↓b8'B↓p@%∧@Q⊂%∧@Q⊂"Q	⊃P∞λ$⊂@	∀B%8βUA¬0∧∃@u0βU!¬(∧∃ u(βU↓¬ ∧∃u βTa¬_∧∀`u_βTA¬⊂∧∀@u⊂βT!¬λ∧∀ uλβT↓¬∧∀uβSa∧P	∩B$("∩Cr⊂⊂H!Q⊂+DK`8.BP8.AkP8.α@8.↓k@8-B08-Ak08-α 8-↓k 8,B⊂8,Ak⊂8,α@&↓↓8%A@p8%A`P@%↓``8%↓`P@%↓@`8%AP8&βI`H"Q	2x_H$⊂@	αA5⊂	αA58βD`E0∧∧@50∧∧E0βD50βC`5(∧β 5(∧β5(βB`5(βB@5 ∧α5 ∧↓`5 βA@E βA U_∧a¬_∧A∃_β@!E_¬A¬⊂¬↓↓¬⊂∧↓A¬⊂βB↓¬⊂βB↓¬λ∧α!¬λ∧α!¬λβBa¬λβBa¬∧β↓¬∧β↓¬βCA¬βCA∧x∧βa∧P	↓AtP	↓At("∪∧α⊂⊂H!↓_)∧jp8+α
`@+↓j`8*B
P@*AjP8*α
@@*↓j@8)B
0@)Aj08)α
 @)↓ap⊂)↓ap⊂(B↓`_(B↓`⊂(Aa`_(AaP_(α↓P_(α↓@_(↓a@ (↓a 0'B↓8%π	!X"Q	S@≥H$⊂@ε¬aU⊂εE!e8∧¬!¬0∧E↓∃0∧D` λβ∃@ λβ∧` λβ∃@ ⊂β∧  ⊂β∃ 0⊂β∧ ⊂βU 0⊂β∧ ⊂β∃  _ββ` _β∃  _ββ@  β∃0 ββ  _βU0 ββ  β∃ (βα` (β∃ (βα` (β∀`0(βα@ (βT`0(βα  0β∀` 8βα 0β∀` 8β↓` 8β∀@08β↓@ 8βT@08β↓@ 8β∀@ @β↓  @β∀@ @β↓ Hβ∀ 0Hβ` @βT 0Hβ@ Hβ∀  Pβ  Pβ∀  Pβ  Pβ∀0P∧α@u↓B``Xβ∀ `βα`e↓βP`β∪`0`αβtPεA`@8λRAP@↓αα∀("∪F∪_⊂H!hπC* hπC*pH	↓
`Xλ@j`Xλ@J`⊂↓αα⊂+@ Hπ@JP_↓B↓`_*@`@@ε@JP⊂αB↓P⊂*@@`@εJ@_βα! _*`p@¬J@⊂∧B↓⊂⊂*A⊂H∧J0_¬αp_)@a0@βJ0⊂εα`⊂)@AP@α@J _εB 0_)a`@↓@J ⊂λα ⊂)BH@J⊂_λBj⊂_	α*⊂⊂	B*⊂⊂
α
_
α
_
AJ⊂A*⊂A)p_↓	 h
I h
HT 'I%αλ⊂DA∃@λ∃@`8βU`Xβ∀@`pβ∀ aβ∀a⊂β∪`a_β∪@q_β∪@a βS a(βSq(βSq(βR`q0βR`q0βR`q0βR@q0βR@q0βR@q0βR@q0β∩@q(βR@a0βR@a(βR@a(βR@a βR@q_β∩@q⊂β∩`aλβ∩`pxβ∪`pβ∪ `XβS@p8βTα∃_¬⊃(E∪J$∩λ∧ε*!`+Aa 8+α↓@0+α↓@8+↓a`0+↓a`0*B↓`0*B↓P8*Aa`8*Aa`8*α↓`0*α↓P8*↓a`0*↓aP0)B↓@0)B↓ 8)Ej1 )Aj @)↓j 8)↓j⊂@(Aj⊂8(Aj@(↓j8'B	!⊂%∧HT (I%αX⊂DA∃@λ∃@p0βU`Xβ∀@`pβ∀ aβ∀aλβS`a_β∪@q_β∪@a βS q βSq(βSq(βR`q0βR`q0βR`q0βR@q0βR@q0βR@q0βR@q0β∩@q(βR@a0βR@a(βR@a(βR@a βR@a β∩@p0αA`dXβ↓↓(β∩``_↓A0_β∪`⊂↓↓@0λβ∪ `λ↓↓A∀p∧↓@uλTaP@↓↔@@↓↔@8↓WP(↓W↓U`ε↔↓E`¬W!∃h∧↔`D("∀E∩X⊂H!↓@)εjp8¬↓j`@ε↓J`@ε↓j`8π↓J`8π↓JP@π↓JP@εAjP8π↓jP8π↓j@@εAj@@εAJ@8εAJ@8ε↓J0@∧B
10)E*08∧Aj @¬↓j @¬α
 8ε↓j 8ε↓j⊂@¬B
⊂@¬B
⊂8ε↓j⊂8ε↓j@ε↓j@¬B`⊂(↓a@8β@J8εA`P_'B↓P8αi!⊂∧C	!⊂ε↓hT )Gd"λ⊂Ca8UaP_↓∃ P8∧∃@Xβ∀`@hα∀@@x↓T Px↓T Px↓T`x↓∀`x↓∀eβT↓5πTα%λ	∀B%_	∃"¬@π↔!∃xβXfβ∪!⊂αS!⊂αS!⊂αS!⊂α∩`1λα∩`@xα∩`Phα∩a@αR@0_πR@ 8∧Q(E ∩IDααλ)bλ&A@p@∧↓)P ∧B↓⊂ &@a 8¬@i@_¬Aa0⊂&a @¬@I@⊂¬B↓0⊂%@a08εI0⊂ε↓a@⊂%@A0@¬@i _¬B↓0⊂,↓k8+B
p@+Ajp8+α
`@+↓j`8*B
P@*AjP8*α
@@*↓j@8)B	A0&¬HT *J¬2λ⊂@α HεRB HεS`q_α∪A↓_↓SA↓_↓∪@q ↓∪@q ↓∪!↓_↓S!↓_↓∪ q ↓∪ q ↓∪↓↓_↓S↓↓_↓∪q ↓∪q ↓∩a↓_↓Ra↓_↓∩`q ↓∩`q ↓∩A↓_↓RA↓_↓∩@q ↓∩@q ↓∩@q_↓R@q_↓∩@a_↓R@a_↓∩@a⊂↓R@q↓R``x↓S``α∪ `@αSau⊂∧Q(E0∪Jd∩λ∧↓0`%∧↓0`'↓b@ '↓b@⊂'αα _'αα ⊂'Ab⊂⊂'Ab⊂'Ab⊂'B↓`⊂'B↓P⊂(↓a@_(↓a@⊂(↓a0⊂(↓a _(α↓⊂⊂(Aa⊂(A`p_(A`p⊂(A``⊂(B@⊂(B@⊂)↓`0⊂)↓` ⊂)↓`⊂_)αJ H)B
08)AJ00)A*@_*HT +Nπ2λ⊂@α⊂ λ↓aDPλAα8ε∪AhβD 4xβC qλ↓∪`ph∧β`$xβC@pp↓∪`ppβC@$xβC!h↓∪`ph∧β4x∧αa⊂`↓∪aP¬α`%βB@ λ∧α@%βB  ⊂∧α %βB  _βB%βB  βB%βA` (βA`%βA` (βA@%∧↓  0βA@%λβA00βA %λβA 8∧`5λβ@` @∧`%λβ@@0Hβ@@%λβ@@ Pβ@@%λβ@  Xβ@ %λ¬αa∃λ∧C↓∃⊂βC!¬⊂βC!¬⊂ββ`e⊂ββ`U⊂αDU⊂α∧ E⊂α∧ 5_↓∧@4("⊗¬Bp⊂H!⊃λαβJ1λαβJp@π↓@εk@¬@k⊂8¬k⊂@∧k⊂@β@k @α@k @αk0@↓k0@@k@P.α+P8.BP@/αPH.αk0_B _↓B⊂_αα_β↓jp_βB
`_∧AjP_¬α
@_¬B
0_εB
 _πα
⊂_λα	p(λα	 p∧∧) p∧∧(T ,J¬"λ⊂@α⊂`¬RB⊂`¬Sa↓_α∪a↓_↓∀↓↓λ↓∀↓↓↓∀↓⊂p↓T!h↓T!`↓TAP↓TAP↓∀a@↓∀a8↓∀a⊂(↓∃↓ ↓∃↓_↓∃!λ↓U!50∧UA¬0βU@u0βU@e(βU u(βU e βUu βT`tpλSB∀("⊗DB8⊂H!!P*εJ@8¬α
00¬B*0 εB
0_εB
 _εB
 _εα
⊂_εα
⊂_¬B
⊂⊂¬B
⊂⊂¬α@@-B H-α⊂@,α
p@+α
P@¬J@@¬@J0@εJ @εj⊂@ε@J⊂@εj@ε@ip@ε@i`@εA	P@εA)@@εA)0@¬B	!`%εhT 0FcQ(
B@` ↓TA λαTP(∧∪`P8βS@P@β∪ `@β∪ PHβ∪`Hβ∪PHβ∩``Hβ∩``Hβ∩``Hβ∩@`Hβ∩@`Hβ∩@`Hβ↓$Pβα ` ↓∩`P@β↓$XαB` ↓∩`P8β@`$`αA↓⊂_↓∪! _∧∪``8αQ(F⊂
Ed"⊂↓BIPP(↓J0'Aip8'AIp0'↓i`8'↓I`0&AiP8A)Px&B@ &↓`p &↓`p(&↓A(&↓A(%Aa(%A`p0%AA0%AA0%AA0%↓A0%↓A0%↓A(%↓@p0%A p(%A p %A ` &↓ 0(&Bip0"Q1(E"PXβTAEλαA DxαA@TpαA@dhβ↓@dhαA`d`βα4`αR`dXβ∩`dPβ∩@dPβ∩@dXαC@∀XαC $`αα`4hαA@TpεT↓∧("→βAp⊃λB P.αKp0/AK`8/↓k`0/↓KP8.AkP0.AK@8*↓@ 8)∧
(αB	p(βAi`(∧↓iP0∧↓IP(∧AI@0∧↓i@(∧Ai00∧AI00∧AI00∧↓i 0∧Ai 0∧AI 0∧A@@⊂%↓A8αI0(∧↓`0⊂%A!0αI0(βA`0⊂&↓ @H↓@IPP↓B	p0βA(T 2E"q(
B`u⊂ε∀`(α∪`P@↓S@PH↓S `H↓S PP↓S`H↓SP@α∩b∀XπR`dXαR`TXαR`TXαC@∀XαC $`αB@4hαA@TpεT↓∧("→CAx⊗λB@(.α+0 ↓↓+  ↓↓K⊂(↓↓K⊂(↓↓+0↓@k0,↓Jp0+AJp0+AJ↓((¬*`0+↓J`0+↓J`0*AJP0*AJP0*AJP0*↓J@0*↓J@0*↓J@(*↓*00)AJ0()A*0(&↓0 %A  (%A@⊂ %↓@ _%A ⊂_%B	P("QqPGbPhβ`5(∧@ U_αA↓¬⊂αA@uλαA`eαBeαBdxβαdxαBdpβαdpβαdpβαdhβαdhβαdhβαdhβαdpαA`dpαA`dpαA`dxαA↓¬πT@`λβ⊗ eHβ⊗d`ααdXαBdXβ↓@dPβ↓@dXαA dXπ∪!$("~βAx⊃λ@@P'αJ⊂0(AJ⊂0(↓j0(↓J0'Aip0'AIp0'↓` 8'↓@⊂X'α P('↓`p0&Aa0&AA⊂0&AA⊂0&AA⊂0&↓a0&↓A⊂0&↓A⊂0&↓A0%Aa0%AA⊂0%AA0α@I00∧↓@P⊂%↓a0αI 0∧↓@P⊂%↓A0αI 0∧A 0⊂%↓!0@%@aP0"Q
⊂xλHd0P↓T`U_β∀@e_αT`48∧↓ Th∧∪0⊂αR`  β∩`  β∩@  β∩@  β∩@  β∪`dxβ∪@dpβ∪@dhβ∪ ` ↓∪`(↓∪` ↓∪` ↓∪P ↓∪P_↓∪!∧xαQ(FPE%R_	@k@(-AK00-A+@_#B↓@0*B*@⊂↓AJ0⊂α↓J ⊂αAJ⊂⊂β↓J⊂⊂β↓J⊂⊂β↓K0,↓K0,↓Jp0+AJp0+AJ`0+↓J`0+↓JP0*AJP0*AJ@0&↓@0%A @0%A@ 0%↓@0(%A  (%BIP0"Q
1@
HD  ¬∪A%λβ∀ eλβ∀uβ∀eβ∪`txβ∪`dxβ∪@p8α∪@`0βS@`(↓↓$pβ↓ _α∪ p_AThβ`⊂ β∪ `⊂A dh∧↓@T`∧α4`βS↓4`εR`pλβR``_β∩`` β↓ $Xβ↓`(↓∩@p_β↓ $Pβ↓`(↓∩@`(αA$Pβ↓ P_↓R@P8∧R`0PαQ(F`πβd"⊂ααI`P(AJ⊂0(↓j8(↓J0'Aip8'AIp0'↓i`8'↓IP8&AiP8&Ai@8&↓i@8&↓i08%Ai08%Ai 8↓@I 8↓@I 8↓I 0↓@I 0↓@I0(↓I@@'↓λT 6Kf⊃(
AP@βBth∧↓↓0 ¬S ⊂β@0 β@0(αR` _∧A`Pλ↓↓`dX↓a@βBdP↓↓pHβα dP↓↓`Pβα dP↓↓`Pβα dxβα@`Hβ∪``Pβα dxβα@`Hβ∪``Pβαdpβα@`Hβ∪@`Pβα dpβα@`@β↓ $pβα@`@β↓ $hβα@`Hβ↓$hβα@`@β↓ $hβα@`@β↓$hβα@`Hα@`$hαB`PX∧∪@0h↓C d("≠Crλ
E @(βAiP@↓Bi@⊂↓↓@⊂_αA)0⊂↓Bp0%@@08∧↓I ⊂α↓A⊂0%@@0∧AI ⊂α↓A⊂0'AA⊂0'AA⊂0'AA⊂0'AA0'↓A⊂0'↓A⊂0'↓A0α@I`0∧↓@P⊂&AA⊂0αIP0∧↓@P⊂&AA0αIP0∧A 0⊂&A!0@'aP0"Q
qH
E"PX∧∀aEλαA@Uαα TpαB@TpαB`ThαCT`βα`d`αCdXββdXββdXββdPββdPββdPββTXαB`dXαB`TXαB@T`αBThαA dpεT↓∧("≤βQ`∂E p(β↓J@↓αIp⊂↓α P '@08βA)`⊂↓AA⊂(&@@@0∧A)P⊂α↓A⊂(&@@08∧A* 8∧↓J 0∧AJ 0∧AJ⊂8∧AJ⊂8∧↓J⊂0∧AJ⊂0∧A*8∧↓J8∧↓*0∧↓*0∧↓	pHα↓)qλ'A@ 0'AI`8'↓i`0'↓IP8&AiP0%β	 `"Q∞⊃8GbPPβ↓5⊂∧@ UαA↓∧xαA@tpαA`thαBdhαBd`βαd`αBtXβαdXβαdXβαdPβαtPβαdPβαdPβαdXαA`tXαA`dXαA`d`αA↓∧hλ∪``λβ∃@e0β∃ u(β∃ e(β∃u β∀↓UεQ(G⊂
EbQ(α↓ P(&B 8&@ @αi0⊂↓A`@ %@@00α↓) ⊂α↓@00%@@0↓AI ⊂α↓@0('A@P_'AIp0'AI`0'↓I`0'↓IP0&AIP0&AIP('hT 9Eαq(
B@uλε∀@8↓S`@8α∪`08αS@@8αS@P8↓S@tp¬SATxεT↓E⊂¬U@t`ααTXαBTPβαDPβαDPαBDX↓BD`εSA∧("≥α⊃⊂∂Ga⊂_)↓*⊂0(AJ⊂0(AJ0(↓J0(↓I!λ%∧)p0'AI`0'↓I`0'↓IP0&AIP0&AI@0&↓I@0β@I@0βI00β@I00βI00α@I@(↓@iPH'A(T :G#q(
A P`↓S!⊂HαS0_αA`d`↓↓P8β∩`  β↓@dP↓↓ `0β∩@ (β↓@dP↓↓`8β∀`0β∪``8β∪``8β∪``8β∪@`8β∪@`8β∪@`8β↓$pβ↓`` ↓∪@`0β↓$pβ↓@` ↓∪@`0β`$xαA↓_↓∀↓ ⊂∧∀@`0αQ(G0F"Q(αA!⊂_&B P0&`0(α↓I@⊂α↓ 08%@@@0α↓I ⊂αA@P(%@P0β↓	 ⊂α↓A_(↓A⊂'AA⊂⊂'AA⊂⊂'AA⊂⊂'↓A⊂⊂'↓A⊂⊂'↓A⊂'↓A⊂'↓@p⊂'↓@p⊂'A `⊂'A@@⊂(αJ 8"Q∞r ∪¬"P(αC08↓S!⊂HαAd`↓@`P8β↓d`↓↓P8β`tX↓↓`0β↓ dP↓↓ `0β↓@TP↓↓ `0β↓`DP↓↓`8βα5β↓@`H↓∪``8βα $xβ↓``H↓∪``8βα $pβ↓``H↓∪@`8βα $pβ↓``HS@`8βα$pβ↓``@↓∪@`8β↓`$xαA``0↓∪``(∧↓%λ¬A%_β↓@t("≡β!`
E p0β↓	pP↓Ai`_α↓ ⊂⊂αiP⊂β↓`@ &@p0α↓)0⊂∧↓@00%@A0↓AI0⊂∧↓@0(*↓@P_*↓J@0*↓J00&↓00%A 00∧@I00↓↓A⊂⊂%↓@ 0∧@I 0↓↓A⊂%↓ 00β@i0⊂α@⊂(α↓	@0↓BIP β↓HT <FCAx
A P`↓S!⊂HαS0_αA`d`↓↓P8β∩`  β↓@dP↓↓ `0β∩@ (β↓@dP↓↓`8β∀`0β∪``8β∪``8β∪``8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`0β∪@`0β∪@`0β∪`P ∧∀↓u⊂β eHβ⊗ Tp↓A`dhαA@T`β↓ d`β↓d`αA T`α↓Th¬S`d("≡BqH
E!⊂ ∧J⊂@βJX↓@Iq'∧	`⊂↓↓@0⊂-K⊂⊂,Jp⊂*@j@⊂)@J ⊂(a@⊂'@AP_'@PX&DiA_&`0`%@@p@%A  "Qα_∩H$⊂@
TC58βB@U0∧α`E0∧β50βC 50βC@%(∧β@%(∧β@%(βC`%(βC`% ∧β`% ∧∃u βTa¬_∧∀`u_βTA¬⊂∧∀@u⊂βT!¬λ∧∀ uλβT↓¬∧∀uβSa∧P	RB4("%∩`⊂H#@⊂2A@(1AL @0B,P0@⊂@/@@ @/@0@.@@P@.`P@-@``@-@A@-A⊂@,@A @,A@@+@a@@+aP@+Ap@*@B@*B⊂@)@B0@)B@@(@b@@(@B`@(Bp@'@C@'		R(&	I2@%J	"H"Q"8∃λ$⊃⊂¬V"∃0βBu ββ e_αDeλβ∧@eβ¬Txβ¬ dxαE`TpαFThβεd`βε d`β` p↓↓dXβ↓ p↓↓dXβ↓α  β∩``_	AdPβ↓α0_β∩@` 	↓dPβ↓α  β∩@`_	ATPβ`0h↓↓dPαA p↓↓dPαF dPαF TPβ¬`dPβ¬`TXαE@TXαE T`αD`T`β∧dhββ dxβBeλλU↓$("d2(⊂H#⊂⊂1l⊂ 0A,0/Akp8/α`@.B+@⊂Ak@⊂B0⊂↓α _↓α ⊂α↓k⊂⊂αAk_αAk⊂β↓jp⊂βB
p⊂βB
`⊂∧α
P⊂∧B
P⊂¬↓j@⊂¬Aj0_¬Aj0⊂ε↓j ⊂εB
⊂_εB
⊂⊂πα
⊂λ↓ip_λ↓i` λ↓i X∧∧	 X∧∧λT α
¬"⊂α#u_∂TD¬⊂∂TCu⊂∂T 1P↓T 1P↓∀ !X↓∀ !X↓⊃`⊂X↓∧ %(↓∧ %(
Uαe ∃αU 
Tbe_↓D%_↓∧ $8@@1`↓S1`↓∪!h↓∪!h↓∩`1`↓Rd∀X⊂Rd∀P⊃∩D∀P⊂Q(@(_Ld∩λ∧
*"H+Ab8+α↓p@+α↓p8+↓b8+↓b8*B↓p@*B↓p8*Ab8*Ab8*α↓p@*α↓p8*↓b8*↓b8)B↓p@)B↓p8)Ab8)Ab8)α↓p@)α↓p8)↓b8)↓b8(B↓p@(B↓p8(Ab8(Ab8(α↓p@(α↓p8(↓b8(↓b8'B↓p@%∧@Q⊂%∧@Q⊂"Qb@∃H$⊂@⊂∀D¬_∧C`u_∧D U ∧D E ∧D@5(∧D 5(∧D@%0∧D %0∧D %8∧D%8∧D%@∧V↓∃H∧V!∃P∧VA∃Xβ↔EXα⊗@1↓⊗Aλ↓∃`1⊂↓U@1⊂↓UA_↓T`1 ↓T A α∀1(α∪@A(αS 1_∧Rd∧P⊂RD∧("↓db@⊂H `0λAI`PεB)P`¬β	@p∧βI1ββi  αBP8βi ⊂∧A@@0∧@I λ¬A@ 0¬*p(↓↓*p(A+ A@,α8,↓k8+Ajp8+Aj`@+α
`8+↓jP@*B
P8*Aj@@*α
@8*↓j0@&E	Q "Q↓α⊂⊃H$⊂`	UB5`β⊗`uXβV`eXβ∃aU 	T p⊂β@txβA` β∪@`(βA dhβ↓@p0β∪p0β↓`dXβA``8β∩`p0βA`dPβA`p0βR@p8β↓`tPβA``8βR@p0βA@tPβA@p0β∩``0β↓@tXβ↓@`(βS` βAdh∧ pλβSbE_ε∃ u(βU e(β∃tp	SB4("α$b@⊂H!1_*Dk00-↓k 8-↓I 0¬↓A⊂8%αp8βB)@0βA``8&↓@p0βAI@0βA@`8&↓@`8β↓I@0β↓`P8&↓@`0β↓I@0β↓@`0&↓@P8αAi@0αA`P0&↓ `0β↓I@(β↓@P0&↓ P8αAI@0α↓`@0&↓@@0α↓IP(α↓@00&A@ 8↓↓Iq_(∧
0P*↓j@8*↓J@0)AiQ_&DhT ¬	E2λ⊂D!E@	∃@p@βUp`β∀@pxβ∀ qλβ∀q⊂βS`q_βS`q_βS@q βS@q βS@q_∧∪!↓_βS q βS q_∧∪ q_βS@a⊂βS@a⊂βS@aλβS@aλβ∪`Qβ∪`QαTPpαTPhαR@ (αβ @ ↓∩@ (αβ@(↓∩@ 0↓C0(↓R@ 0↓B`00↓∩@ 0↓B`0(↓RA0P¬RA0P¬RA0P¬∩A P¬RA P¬⊃(@X⊂λBQ(¬B
 h(A P0β@Ip(∧↓@`⊂'↓! (α@I`(¬↓@@⊂&A!00↓@i@0¬A` ⊂&↓!P0@i00εA@⊂⊂%AAP@%AAP@%↓A`8%↓A`0%↓A`0%A!`0%A!`0%A!P8&↓! P&A `(↓A 0⊂'β `@(α↓ ("Q↓Ap∂K∧!_βVa5Hα↓ U@↓A`U8↓α e0↓α@e(↓α`e ↓βe_↓β e_↓βe⊂↓β e⊂↓β e⊂↓β Uλ↓↓a5λ↓↓!Eλ↓↓  (β∀  (π∀ 8β@ U↓∧U↓∧U↓β`dx↓∧dx↓∧dx↓∧dx↓∧dp↓∧dp↓∧dp↓∧Tp↓C@dhαβ@ThαCTh↓  `α∪  ⊂↓BT`↓↓`λβS 0¬∪$`↓∩`$X↓∩`$X↓∩@$P↓∩@$P↓⊃(@h∞GCq(∧↓AP⊂(α!@⊂'Ba ⊂&CA⊂⊂&C`p⊂&∧ `⊂%A↓  α@I0⊂π`@⊂%B⊂↓@K@⊂↓@K@_@KP⊂@KP⊂@KP .AP_.@kP_.@KP⊂.@K@_.k@_-@k0_-@k0_-k _-k ⊂"Q↓a8Hd pαU!% α↓@%_αα%⊂α∀ UλαT UβT↓¬∧T!%⊂¬∀a%⊂ε∀!Txα@`tpαA dpαA@dhαBT`βα 4`αB@4Xβα@4Xβα@4Xβα@4Pβα@4Pβα@4Pβα@4Pβα 4XαB 4XαB4XαB$`αA@$h¬Sa¬_Q(@x	¬"Q(¬α
⊂X'AI`(&A)@0&↓)00%A) x%∧	 0%↓) (%↓) (%↓)0(%A)@0βI``(αλT λεβ"`⊃β`%@↓⊗%@↓⊗ λβ⊗↓%8α↓ %(εU0_β∀`5⊂↓T 5α∀4x↓S@Dp↓S Dh↓SD`α∩`DXα∩`DXα∩`DXα∩@dXαR`dXβRa$`ε∪↓thλ∪B¬π∀a50∧⊗ UPα⊗@5⊂α↓5_∧U T("∧#1h∂E @(βAiP@↓Bi@⊂↓↓@⊂_αA)0⊂↓Bp0%@@08∧↓I ⊂α↓A⊂0%@@0∧AI ⊂α↓A⊂0'AA⊂0'AA⊂0'AA⊂0'AA⊂0'↓A⊂0'↓A⊂0'↓A⊂0'↓A⊂0&AA⊂0&AA⊂0&AA⊂0&AA⊂0&A!⊂0'a 0-AK00-↓K 0-↓K 0,AK⊂0,A+ _"Qα!8HD hβ∃!∃ α`E_α↓ E⊂α↓@Eλα↓`UαA`TxαBTxαBTpβαTpαB Thβα Thβα ThαB d`βα d`βα d`
RbTX
R``Hβ∩``Hβ∩`PHβ∩@`Hβ∩@`HαR@`@β∩@`@αR@PHαR@P@αR`@@αR`@8αR`P0α∪@(α∪ 0 α∪A∧xαQ(A_λ∧BQ(β@j('AIp0'↓I`0'↓I`0&AIP0&AI@0&↓I@0%A@p⊂%A@p⊂%A@`⊂%↓@`⊂%↓@P_%A 0 &α)P0"QαA`∂E"P0↓B`DxαBtpβ↓A∀pβ↓ 0λβ∪ `(↓`Thβ↓ (↓S `⊂↓S `λ↓∪↓∀`¬S↓t`βA∀Xβ↓@tXβ↓`dXβα`(↓∩``@β↓ $Pβα`(↓∩@`@β↓ $Pβα P ↓∩@`Hα@`4PαBa∀X↓C@T("¬#Qx⊃λ@`8(α* @)Aj08*↓j@8*AjP8*Aj`8+↓jp8+Ajp8,↓k8,Ak⊂8,AkH+BJP(Aj@(↓↓j0(↓Aj (αAj0β↓ip0∧↓i`0∧AiP0¬Ai08ε↓i00εAi 8π↓i 0πAi0 λAhT πd⊃x
B 0`↓T@PPαT `Hβ∀ `Hβ∀`Hβ∀`Hβ∀`Hβ∀`Hβ∪``Hβ∪``Hβ∪``Hβ∪``Hβ∪@`Hβ∪@`Hβ∪@`Hβ↓$pβα ` ↓∪ p@β↓$hβB` ↓∪ p8β@`$h∧↓0λα@`$`π@a∧`εA`T`β∪dXβ∩`dXβ∩`dPβ∩@dPαR`4("¬c1h
E  Hεi@H¬A)p0¬↓I`8¬↓I`8∧AI`0¬↓I`0¬↓)P8∧AIP8∧A)P0∧AIP0∧↓I@8∧↓)@8βA)@0βA)@0β↓)08αA)08α↓)00↓A)00A) X%α) ("Qβ↓8∧ p↓∃`%8↓∃`%8∧U!E β↓ %⊂πT `⊂β∀eαS`dxβ∪@dpβ∪@dxαSaeπ∀ P0↓∀↓Tx↓@A∧p↓S D`α∪4Xα∩`DXα∩@TPβ∩A∧X¬∩aD`π∪"∧pλ∀↓u_ε∃!%@βV@E_↓AE ∧U@T("ε#rλ
E a@'FIaX&FiAX%@`p⊂α@i ⊂∧@@P_%!⊂_α@j@_α@j0 α@j0 α↓
 (α↓
  αA
⊂(αA*⊂(αA*0αAJ(β↓Ip0β↓i`8β↓i`0βAi`(∧A)p_¬@hT 
εCAx
C@u0¬UP(α∀`P0αT@P@αT `@αT PHαT`HαTPHβ∪``Hβ∪``Hβ∪``Hβ∪@`Hβ∪@`Hβ∪@`HαS@`@β∪ `HαS `@αS `@α∪ p(αS`λ¬∪`⊂β∪d`β∩`dXβ∩`dXβ∩@dPβ∩@TX↓Q(AX∂H"Q(¬Dj!8(F	qH'ε)`0β↓iP0∧↓I@0∧AI@0∧AI00¬↓I00¬↓I00¬↓I 0¬↓I 0¬↓I 0¬↓I 0∧AI 0∧A)0(∧↓)0(∧↓	@(αA)Ph(↓hT ∞πβa(
ABTxSC∧h∪β∧X↓B$P↓α 4PB@5(↓UE α∃E_αT`E⊂αT@U⊂αT eλβ∀ eλαT D("π#1h
E P(ε@iPH∧AI@_↓A!0&@@(βAi0⊂α↓A0%@P0∧A) ⊂αAA  %@@0εj0εIp0ε@Ip0ε@Ip0εI`0ε@I`0ε@I`0εI`0¬@I`0¬@I`0¬Ip(∧@J0α@j⊂`)BλT ∂πd∩`⊃¬ %p↓↔@%p↓↔@%h↓↔ %h↓↔ %`↓↔%`↓↔%0εTb%λαA  (α∀P0↓↓@Dxα↓` @α∪@@@↓αDhαB @αSPH↓αT`αB HαR`PH↓α TXαB  HαR`PH↓α TPαB  HαR@PH↓α TPαB  @αR`@H↓αTXαα @αR`P8↓↓`T`αA@ 0αS P(↓↓Tp	T!U0↓∃@%(↓∃ %(↓∃ % ↓∃% ↓∃$("πcrλ∂E @8	I@Xπ@i0_↓α↓P_%@@@@¬@i0λβα↓⊂_)Aa_)A`p_*↓``⊂*↓`P⊂*A@@⊂*A` ⊂*A`⊂⊂+α
`8+↓J`8+↓jp0+↓jP@*@⊂8)@@ 8)@@0(@@P8(@`8'@`p8'a8&@a⊂@β)@_¬B@⊂%@aP@↓i _πBi ⊂	↓hT ⊂λ$2`⊃¬`&λ↓_ &↓_&↓_%x↓↔`%x↓↔`%p↓↔@$xαB@ 8↓S!⊂@↓↓ d`↓@`P0↓↓@d`↓↓P0↓↓ tX↓↓`0↓↓@dP↓↓ `0↓↓`TP↓↓ `(↓α DP↓↓`0↓α@5β↓@ P↓∪``8↓α@$xβ↓@ X↓∪``0↓α@$pβ↓` P↓∪@`8↓α $pβ↓@ P↓∪@`0↓α $pβ↓@ @↓∪`P0↓↓`$xβ↓ 0↓Tp⊂↓↓E⊂πU!%@↓⊗%@↓⊗%8↓∃`%8↓∃`%0↓∃@$("λ$αλ
E `λ
@ip⊂	AIp⊂	AI`⊂	AiP⊂
AIP⊂↓)@⊂↓	@⊂εA0_%@A@_¬@I0⊂¬A↓0⊂%@A0 ¬@I0⊂¬A↓ _%@A0_¬@I _¬↓↓ _%↓↓⊂_¬i (β↓@p(%Fi1P%C⊂`&α@ X&B@H'↓!("Q∧!(E"PH∧∀!DxπSB∀hαα D`↓C ∀`↓∪$`↓@t`ε∪P(↓∩aDX↓↓DP↓∩@$P↓∩@ xR@@X↓RB∀XπS↓TxβQ(B_∂λ∧"⊂	A+0@-`0 ,@@` ,@p +@A(+@A(+@A(+@A(+@A(+@A(+@`p(,@p('↓ `_α↓IP@α@`00&@ 0αBi0⊂↓A@pH%@@00∧B) ⊂α↓A⊂H%@@0∧AI ⊂α↓A⊂0'AA⊂0'AA⊂0'AA⊂('AA0'↓A⊂('↓A⊂('↓A('↓A('↓@p('↓@p '↓@` 'A@@ (αj 8"Q∧Bh↔E"P0∪∪e∧p∀S%∀`∀R`0(↓ε`$P↓↓@!`↓∩@⊂0↓π %λ↓β  p↓∀ p↓β@%↓β@ p↓∀ h↓C@$x↓β @h↓∪` `αC4x↓α`pP↓S`0Hα 0Hα∪`@0α@@P(αSa`_π∀↓@(ε∀↓00¬T!⊂@∧T@`Xβ⊃(B(πβq(ε↓j@X)↓ P (A `((↓!('AA('A!⊂('↓A⊂('↓!⊂0&AA⊂0&AA⊂0&AA⊂0&↓A⊂0&↓A⊂0&↓A⊂(&↓A0%Aa(%A`p(%A`p %@@⊂(α↓)0⊂↓β	 _α↓i ⊂%I _%↓	!%∧I!⊂%D)Px-HT ∪¬αaP
B`u⊂ε∀P(α∪`0PS D`α∪4Xα∩`4Pα∩@TPαR@dP∧∩A$X¬RaT`εSADxε∀!% βU U0α∀@⊂_↓T u⊂αQ(B8∂λ#q(α@A`('APH&@APX&AP`&A@p%@A@(β↓	0⊂εa⊂_%@A0_¬@I ⊂εA@⊂%A0⊂ε@I ⊂¬@!`⊂%A ⊂ε@i ⊂¬!`⊂%A⊂⊂ε@i _∧A@_%↓p⊂¬↓	08↓`p0&¬iQ('∧Jx)αJ  (A*⊂((A*0(↓)p0'AIp0(↓λT  πDα⊂⊃β@u(εU@0αT`0PαT@ hαT@@`α∀ `XαT ``α∀ ``αT PhαT@0pαX`V⊂β∃↓  β∀AP_β∀`@↓@dxαB`⊂⊂β∪@PhβS `hβS PpβS`pβSPxβ∩``xβ∩``xαR``pβ∩@`xαR@`xαR@`pαR`Ppα∩`PhαS@`αSPPαS P8αSaUλ∧Q(F¬D2⊂λ↓⊂0,` ⊂+@`0⊂+↓0⊂*A 0⊂*A@⊂*↓ @⊂)A@@⊂)A @⊂)A @⊂)↓@0⊂)↓@0⊂)↓ 0⊂(A@0⊂(A@ ⊂(A@⊂⊂(↓@⊂_(↓@⊂⊂(α
8(↓Ip0'AIp0'AI`0&Ai@@%@@0 %@@ ¬* ∧j⊂ αA
 P)AhT =Cb⊃(
A Th∧∪0⊂αR`  β∩`  β∩@  β∩@  β∩@  β∪`dxβ∪@dpβ∪@dhβ∪ ` ↓∪`(↓∪` ↓∪` ↓∪P ↓∪P_↓∪!∧xαQ(G`¬βq(εAJPP*`00)@@P0)@`0)@`0(@@p0(@@p0,AK⊂0,AK⊂0,↓K0,↓K0+AJp0+AJp0+↓J`0+↓J`0*AI@ αAI0(αAI00↓AI 0α↓)0(↓↓I0X&AhT >Gd1x
A`5α∪`0XβS@0Hε∪ @8αA Th↓A@@HαS@(↓B`T`α↓ hβ∩`@ ↓β@dXα` xβ∩`@⊂↓∧dXα !λβ∩`qβ∩@qλβ∩@a⊂β∩`P8↓α TXβ↓ @8αR`p ↓BT`β@`08αS↓_↓AdX↓ p_¬∩` ⊂β↓dX↓`TX↓↓DX↓↓DP↓↓ DP↓↓ DP↓↓ 4X↓`DX↓`4`β∪ D("∨Cα⊂¬	α λ-@k0 .↓	!8%ε	!8-↓+⊂(,@k λ"Q∂q0∩↓D⊂8¬∪B∧h	∪@XαR`0x↓R@!⊂↓∩@!⊂↓⊃(CεBQ(βBIpp&A@`0&↓! (%AA 0%A!@(%A!@(%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%A!@(%A!@(%AA 0&↓! (&A@`0'∧
⊂P"Qε⊃ ¬"PX↓∀@TPεRAUλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ dX	Rb4("BaH
E @`&∧)0_∧α	 (∧Ai (¬↓i (¬↓i0_ε↓K⊂8,AK⊂0,↓Jp(*A*@ βJ  ∧J⊂_∧@jx'∧)Q⊂%E	! %¬λT →Fβ!x
B↓∧xεS@@0β∪ @@β∪`8β∪`@β∪p8β∪`@β∪ P@β∪@ Hβ⊗ eHαVU0β∀A¬⊂∧⊗UPαV@eXβ⊗`eXβR`PXβR`PXβR@pPβR@pPβR@pPβ∩`PPβ∩`@Xβ∪@@βSAuλ∧Q(C εCq(λk⊂ ,↓+(+AJ`8*B
@_A*0_↓↓*0⊂↓A* ⊂α↓*⊂_α↓*_αA)p_β↓)p⊂βA)`⊂∧↓)P⊂∧A)@_∧A)0_¬↓) _¬A)!@%ε
p0+AJp0+AJp0+AJp0+AJ⊃λ(D(T ~EC⊃x
@`⊂p↓∪ @Hα∪"∧hπS!dhεS!4h↓@Dh↓∪ $h↓∪ $h↓A∧hπ∪ @0β∪ 0@β∪  PαV eHβ⊗ uHβR`@PβR@`HβR@`HβR@`HβR@`Hβ∩@PPβ∩` Xβ∪ PαS 00β∪AE∧⊃(C0εCqx¬Aj `(A `_'A p '↓ p0&A!0&A↓⊂0&↓!⊂0%AA  %A)0(%↓I 0αα	 0↓β	 0@@p(%↓@⊂λ∧A) 8¬A) 8¬A) 0ε↓I 0ε↓I 0ε↓I 0ε↓I0(ε↓I0(ε↓I0(ε↓I@ ε↓)@(¬A)P ¬↓)` ∧A	p(αA*h)αλT ≠Fβ2λ@@$`↓Sαd`∪αTX
RbDX
∩` p↓R@0h↓R@ h↓R@ `↓R@ `↓∃`50↓U E(↓UE α∀`U_α∀`E⊂αT@U⊂αT eλβ∀ eλβ∀ eλβ∀ eλβ∀@D("∞β↓P∂Ga@(β)p_βA)`_¬↓	P_¬A	P_ε↓	@ ε↓	@(¬A	@0¬↓	@@∧↓	@Hβ↓	PP↓A	Q'β)pp(βIq&A  `&↓`X%A↓⊂H%A↓ H%↓↓P8%↓↓p(%↓α %↓α %↓α_%↓!p_%A↓`_&↓↓P_&A! 'βj⊂H"Qπ⊃@
πbP@∧∪aTpαA@Dhαα D`αB@DXαB`TXαCDPββTPββTPββTPββdPββdPββdPββdXαB`tXαB`t`αB ⊂λβ∪ P8↓ dpε@e∧↓e`β↔U`αS @Pβ∪`HαS`HαS`@αS`@α∪ @@α∪ 08αSAEβQ(B@→
!!(¬*0_)j⊂_(@Ip 'iP_%L)#⊂%HT ∀LFPPε@ε$P→∩f∀h↓S@4xα∀ %λ↓T@5_↓U∀("
F#(¬¬$pλ8n⊂_9n0⊂9A∞P_;i#λ%I#⊂"Q¬3⊂~BAP→∩F$P_]@7(↓\`G_↓≤@7λ↓\7λQ(B`∧C↓aHαA	P0&↓i0 %@i _%i _%i _%@i0 &↓iP0'AλT ⊗B!@p@DPβ∩@tpα∪`5↓T5↓T5↓S`4pα∩@tPβ∩@D("C!X∞ε@⊂⊂%↓	 0%α	 _AI _↓A) _αA) _β↓I _∧↓I _¬↓) _ε↓) _εAI _πAI _λAI _	A	 _λAI _πAI _εAI _ε↓) _¬↓) _∧↓I _β↓I _αA) _↓A) _AI @%↓I  %@HT ↔FC1`
ε&α↔@e`∧⊗@`λ↓V P_↓U`P(↓U `0↓T``@↓T@PP↓TP`↓S@`h↓S`x↓R`Qλ↓R@A_↓R`Qλ↓S`x↓S@`h↓TP`↓T@PP↓T``@↓U `0↓U`P(↓V P_↓V@`λ↓W↓¬pβ_F⊂↓⊃(CP∧βp8↓↓	00%α	 @%α	 @%AI@ "Qπ0HεD p⊂α∩`dP∧∩A∧P∧RA∀X∧∪@λ↓∀ %λ↓∀%↓∪`4x↓∪@$h↓S4`Q(C`⊃	d!h⊂- 3↓L@01↓L0/↓K@0-↓K0+↓J@0)↓J0'↓I@0%↓I  %↓I@0'↓J0)↓J@0+↓K0-↓K@0/↓L01↓L@03↓M 5(T ≡EC∪∩¬%h↓W 5`↓W5X↓V`5X↓V@5P↓V 5H↓V5@↓V58↓U`50↓U@50↓U 5(↓U5 ↓T`5_↓T`5⊂↓T@5λ↓T 5λ↓T5↓S`4x↓S`4p↓S@4h↓S 4`↓S4`↓R`4X↓R@4P↓R@$("∂D"8⊂G %↓I@0'↓J0)↓J@0+↓K0-↓K@0/↓L01↓L@03↓M 3↓L@01↓L0/↓K@0-↓K0+↓J@0)↓J0'↓I08%↓I  %@(T ∨FC1@β%0↓∃@%0↓∃ E(α∃ E(α∃ DPβ↓ @(β∩C$`∪B%π∀A%_∧∀A%⊂¬∀ P⊂αT @ α∀@0α∀0@↓S`0P↓S` `↓∪`⊂pQ(EXπDDB I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂↓↓i h%↓@ 0%`P8%@p0%@p0%@p0%@p0%@p0%@`0%@`0%@P8%@P0%@@0%@@(%@0(%@ (%@⊂(%↓i (%↓	 ⊂"Q@hλK$0↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓α $P↓↓`DP↓↓ dP↓a∧P↓A∀PεRATP∧@@$P∧`$Pβ↓ $Pα↓`$P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓↓`DP↓↓ dP↓a∧P↓A∀PεRATP∧@@$P∧`$Pβ↓ $Pα↓`$P↓α %(↓∃ %(↓∃ $("↔!q⊂⊗λA0⊂*@JP⊂*@I@⊂β@I@⊂β@I@⊂β@I@⊂βA	@⊂βA	@⊂αAI@⊂↓α)@h&β) h%β) H↓I 0α@I  β@I  β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂βA	@⊂βA	@⊂αAI@⊂↓α)@h&β) h%β) H↓I 0α@I  β@I  β@I@⊂&I@⊂&HT /FPX	"p↓∩@2`↓R`2P↓S2@↓S B α∪`Bα∀aPβ∀A⊃∧Td¬0
⊗"Ehε⊃(Ex→
!Q_λD↓0+εJAp)αα @(AC0(↓β` '@d _'d@_&@E⊂&E ⊂%@E@⊂%E`⊂%E`⊂"{bεH2→-g 4YM⊗(9λλ4h&R(.x∞_mv 4[Lw_1ZVh2H
F(,λ
Vλ:~∧εH:_-FH1{aF07[NF00XlV⊂<]←_:@|β00@∀⊃λhHJOX≠@OX≠␈␈␈x␈≥␈␈␈xz∩=@αλαP-(β∞({&πU*ε(O0↓
`hpλn>`_∀↓N_E↓P.=@BPβ.[pβ-8{↓&⊂πmn0εg/0βp∀N`
q>`8⊂@↓+X\↓`≤=Aα0βλDβJ({α$@¬[∀ π&∂0¬pπ␈ ∞p}`X∪↓BXM↓p1=ABλαQc0βmλ{β#P∧\_0πoo0πε@@-@@∂y>`x{X]α-=B↓Hα∧"∧λx{∧#`∧f3λ∨∂0	π@}I ⊂↑>a_
@i8Y@αλ␈=BBλαUg_∧#h{¬$⊂¬.wλU∂0λ`X)[@⊃C}a8∞@↓∪Pcα_H=C↓Hα∧"∧>H{ε$ ¬:d 	
O0
π@Hd|`∩+}aX⊃↓/H-α(∂=CAPα
U_∧Vx{π#p¬¬W`	5∂0∂λ`X3_@∪β}ax∩↓7h∪α0\=Dα0β∧!p∧sX{λ$@¬←ε	␈∂0⊃ε@@;α@∀→>b_⊃↓1J@α@S=DCλβs→0¬∀λ{	#`∧r>0
6/0∪¬ 0cF@∃λ}b8∩@↓? MαP3=EβH∧Lfε∩P{
'⊂	→L(␈0∃∞ ↓⊂3__Y≡bX≤@α&00βλ@⎇EA↓#Gε→p{"αG∞8?0↔π H→L_z≡bx∞@↓∪__β⊂)⎇F↓hα&3¬VP{#P∧Lf8∨0→π H→L⊗⎇≡c_∞@↓∪__αp≠⎇FAhα&3¬ip{
#P∧Lf←␈0≠π H→L↔Y↑c8∞@↓∪__αxq⎇G↓hα&3εβ@{∞#P∧Lf∃←0≥∧(∞≤→/↑cXλQ`8β⊂j⎇GBhβIzε0⊂{∂#P∧Lfi␈0∨ p'h→n≡cx∞@↓∪__β ↓⎇H↓xαAc(¬.8{⊂%0εz' ∧?0!
`hn2@'≡d_∀@↓Q⊂_λ∂⎇HBxβ`(X→P{⊃%ε=AD∨0#λ@Xαk ↓+↑d8⊗↓cπ_∩⎇Iβλβvw_:p{∩#⊂∧0 ↓π∨0%π`Pfα!≡dX_↓xHx n⎇IB0βαkhV`{∪'⊂	⊃50↓9←0'`x~&`β1≡dx∃↓V⊂|8;⎇Jα αr≤(␈p{∀%0εy:α␈0)
`hzI ∧F≡e_⊃@↓1()@HS⎇JBαEz↓!P{∃%ε3=PαQ?0+λ@Pl
`¬E↑e8≠α↔h⊃@XI⎇Kαxβd|p↓F`{⊗$ ¬2b0β≥?0-	@`.≠@εV≡eXr8hβ '=KA0↓d⎇εLλ{↔"`βIz
,∂0/∞ ↓⊂3_~}}ex≤@α&00β0∃=L↓@↓r>P¬7⊂{_$¬λπ β9␈01ε@@*T@π∞↑f_
↓β0⎇@pV⎇LApα8⊗P↓o {→#@∧6rPβn␈03πH0`πp≡f8
@↓8v@↓~⎇MαλαUg_α{~"@β≡A0∧&←05¬`8D"λc↑fX∂↓~@a@↓λ|⎇MAλ↓2 _α(⊂{≠&0λ!↔ ∧[?07	X4∩@	a≡fx∞@↓∃X↓↓_}⎇N↓pα3V⊂αE {≤#0∧+⊃P¬~∨09ε@@:d@
P↑g_
↓λ↓(I⎇NA(↓TO@α]`{≥$ ¬9. ¬E␈0;πHλC@)↑g8∀@↓Th↑@↓8ε⎇OαλαQ6αz{≡#P∧\8Pεα?0=π@pj'≡gX
dXmαXu⎇OA0↓`[¬C0{∨$P¬v¬ ∩?0?π H→L⊗L≡gxλQ`8αh&} ≠)⊂=xow{⎇x